ar X iv : m at h . G R / 0 50 54 87 v 1 2 4 M ay 2 00 5 Thompson ’ s group and public key cryptography
نویسندگان
چکیده
Recently, several public key exchange protocols based on symbolic computation in non-commutative (semi)groups were proposed as a more efficient alternative to well established protocols based on numeric computation. Notably, the protocols due to Anshel-Anshel-Goldfeld and Ko-Lee et al. exploited the conjugacy search problem in groups, which is a ramification of the discrete logarithm problem. However, it is a prevalent opinion now that the conjugacy search problem alone is unlikely to provide sufficient level of security no matter what particular group is chosen as a platform. In this paper we employ another problem (we call it the decomposition problem), which is more general than the conjugacy search problem, and we suggest to use R. Thompson’s group as a platform. This group is well known in many areas of mathematics, including algebra, geometry, and analysis. It also has several properties that make it fit for cryptographic purposes. In particular, we show here that the word problem in Thompson’s group is solvable in almost linear time.
منابع مشابه
ar X iv : m at h / 06 05 64 5 v 1 [ m at h . A G ] 2 4 M ay 2 00 6 ON NORI ’ S FUNDAMENTAL GROUP SCHEME
The aim of this note is to give two structure theorems on Nori’s fundamental group scheme of a proper connected variety defined over a perfect field and endowed with a rational point.
متن کاملar X iv : g r - qc / 0 50 51 30 v 1 2 6 M ay 2 00 5 An Exact Solution for Static Scalar Fields Coupled to Gravity in ( 2 + 1 ) - Dimensions
We obtain an exact solution for the Einstein’s equations with cosmological constant coupled to a scalar, static particle in static, ”spherically” symmetric background in 2 + 1 dimensions. ————————————————————————————
متن کاملar X iv : m at h - ph / 0 60 50 74 v 1 2 9 M ay 2 00 6 BRYANT - SALAMON ’ S G 2 - MANIFOLDS AND THE HYPERSURFACE GEOMETRY
We show that two of Bryant-Salamon’s G2-manifolds have a simple topology, S \ S or S \ CP . In this connection, we show there exists a complete Ricci-flat (non-flat) metric on Sn \ Sm for some n − 1 > m. We also give many examples of special Lagrangian submanifolds of T ∗Sn with the Stenzel metric. The hypersurface geometry is essential in the argument.
متن کاملar X iv : m at h / 04 11 14 0 v 2 [ m at h . N T ] 4 M ay 2 00 5 THE 3 x + 1 SEMIGROUP
The 3x + 1 semigroup is the multiplicative semigroup S of positive rational numbers generated by { 2k+1 3k+2 : k ≥ 0} together with {2}. This semigroup encodes backwards iteration under the 3x + 1 map, and the 3x + 1 conjecture implies that it contains every positive integer. This semigroup is proved to be the set of positive rationals a b in lowest terms with b 6≡ 0( mod 3), and so contains al...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006